Tootfinder

Good news and bad news for users if #logseq:
They're working on a DB version in parallel that will provide better scalability, performance and realtime #collaboration (#RTC). They'll charge for RTC.…

18 Verletzte bei russischem Raketenangriff auf Dnipro
Bei einem russischen Raketenangriff sind den Behörden der ukrainischen Stadt Dnipro zufolge 18 Menschen verletzt worden. Bei dem Angriff sei eine Bildungseinrichtung getroffen worden. Der Gouverneur der Region, Serhiy Lysak, teilte auf Telegram mit, zwölf der Verletzten befänden sich noch im Krankenhaus.
📑

Ukraine-Liveblog: ++ Stoltenberg plant 100-Milliarden-Euro-Fonds ++
NATO-Chef Stoltenberg will einen 100-Milliarden-Euro-Fonds für die Ukraine auf den Weg bringen. Verteidigungsminister Schoigu zufolge haben Russlands Truppen ukrainische Streitkräfte Richtung Westen zurückgedrängt. Alle Entwicklungen im Liveblog.

The lesson from Turkey’s elections: Charisma is key to defeating a strongman
Charisma matters. Only a year ago, Turkey’s opposition failed to unseat Erdogan in general elections despite Turkey’s sputtering economy
— in large part because opposition parties settled on a dull compromise candidate, Kemal Kilicdaroglu.
With Imamoglu as the new hopeful alternative, the dynamic shifted against Erdogan.

A top adviser for Imamoglu told me that in Istanbul and Ankara, opposi…

The lesson from Turkey’s elections: Charisma is key to defeating a strongman
Erdogan’s party suffered a historic loss in this weekend’s elections. To preserve his legacy, Turkey’s strongman should step aside after his third term.

Verif.ai: Towards an Open-Source Scientific Generative Question-Answering System with Referenced and Verifiable Answers
Milo\v{s} Ko\v{s}prdi\'c, Adela Ljaji\'c, Bojana Ba\v{s}aragin, Darija Medvecki, Nikola Milo\v{s}evi\'c
https://arxiv.org/abs/2402.18589

Verif.ai: Towards an Open-Source Scientific Generative Question-Answering System with Referenced and Verifiable Answers
In this paper, we present the current progress of the project Verif.ai, an open-source scientific generative question-answering system with referenced and verified answers. The components of the system are (1) an information retrieval system combining semantic and lexical search techniques over scientific papers (PubMed), (2) a fine-tuned generative model (Mistral 7B) taking top answers and generating answers with references to the papers from which the claim was derived, and (3) a verification…

Skip Bayless wants Al Harris to become Cowboys’ next DC following Dan Quinn’s exit https://www.yardbarker.com/nfl/articles/skip_bayless_wants_al_harris_to_become_cowboys_next_dc_following_dan_quin…

Skip Bayless wants Al Harris to become Cowboys’ next DC following Dan Quinn’s exit
Dan Quinn, the former Dallas Cowboys DC recently left for the Washington Commanders as the head coach. Quinn had quite an impact during his time at the Cowboys. He created a good defense with the likes of Trevon Diggs and Micah Parsons. Now, after his departure, a lot of questions have arisen, with the primary one being – ‘Who will be the next Cowboys DC?’ It looks like Skip Bayless has the answer. The veteran analyst believes that it has to be AI Harris, the former defensive back who ear…

This https://arxiv.org/abs/2402.07696 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csLO_…

Synthesizing Strongly Equivalent Logic Programs: Beth Definability for Answer Set Programs via Craig Interpolation in First-Order Logic
We show a projective Beth definability theorem for logic programs under the stable model semantics: For given programs $P$ and $Q$ and vocabulary $V$ (set of predicates) the existence of a program $R$ in $V$ such that $P \cup R$ and $P \cup Q$ are strongly equivalent can be expressed as a first-order entailment. Moreover, our result is effective: A program $R$ can be constructed from a Craig interpolant for this entailment, using a known first-order encoding for testing strong equivalence, whic…

2024 NFL Scouting Combine: What We Learned during Thursday's activities in Indianapolis https://www.nfl.com/news/2024-nfl-scouting-combine-what-we-learned-during-thursday-s-activities-in-indianapolis

2024 NFL Scouting Combine: What We Learned during Thursday's activities in Indianapolis
Is a star emerging at the NFL Scouting Combine before even taking the field at Lucas Oil Stadium? How is one of the draft's top prospects progressing in his return from injury? See the answers to those questions and more of What We Learned on Thursday in Indianapolis.

Spherical Particle in Nematic Liquid Crystal with a Magnetic Field and Planar Anchoring
Lia Bronsard, Dean Louizos, Dominik Stantejsky
https://arxiv.org/abs/2403.20274

Spherical Particle in Nematic Liquid Crystal with a Magnetic Field and Planar Anchoring
We study minimizers of the Landau-de Gennes energy in $\mathbb{R}^3\setminus B_1(0)$ with external magnetic field in the large particle limit. We impose strong tangential anchoring and uniaxiality of the $Q-$tensor on the boundary. We derive a lower bound for the energy in terms of the boundary condition and show in the extreme cases that the longitudinal director field is energy minimizing, indicating the presence of two half-point defects, so called boojums, at two opposite points of the sphe…

Polen: Einsatz gegen mutmaßliches russisches Spionagenetzwerk
Die polnische Spionageabwehr hat einen Einsatz gegen ein mutmaßliches russisches Spionagenetzwerk bekanntgegeben. Ein Sprecher teilte auf X (vormals Twitter) mit, die Aktivitäten des russischen Netzwerkes richteten sich gegen Länder und Institutionen der Europäischen Union. Der Einsatz werde gemeinsam mit Diensten anderer Länder ausgeführt.
📑

Ukraine-Liveblog: ++ Ukraine meldet Abschuss russischer Drohnen ++
Die Ukraine hat den erfolgreichen Abschuss von 26 Kampfdrohnen im Süden und Osten des Landes gemeldet. Bei russischen Angriffen gab es mindestens vier Tote und 30 Verletzte. Alle Entwicklungen im Liveblog.

A Categorization of Complexity Classes for Information Retrieval and Synthesis Using Natural Logic
Gregory Coppola
https://arxiv.org/abs/2402.18566 https:/…

A Categorization of Complexity Classes for Information Retrieval and Synthesis Using Natural Logic
Given the emergent reasoning abilities of large language models, information retrieval is becoming more complex. Rather than just retrieve a document, modern information retrieval systems advertise that they can synthesize an answer based on potentially many different documents, conflicting data sources, and using reasoning. But, different kinds of questions have different answers, and different answers have different complexities. In this paper, we introduce a novel framework for analyzing the…